281. Logical foundations of functional programming
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Functional programming )Computer science(
282. ML with concurrency: design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
.
N54
1996
283. ML with concurrency : design, analysis, implementation, and application
پدیدآورنده : Nielson, Flemming
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6
N54
1996
284. ML with concurrency : design, analysis, implementation, and applications
پدیدآورنده : Nielson, Flemming, 5591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
رده :
QA
76
.
73
.
M6N5
285. Machine Learning:
پدیدآورنده : edited by Pavel B. Brazdil.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
286. Mastering Clojure macros
پدیدآورنده : Colin Jones
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Clojure (Computer program language),Functional programming (Computer science),Functional programming languages,Macro instructions (Electronic computers)
رده :
QA76
.
62
.
J66
2014
287. Mathematica cookbook /
پدیدآورنده : Sal Mangano
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematica (Computer file),Functions of complex variables,Mathematical analysis
288. Mathematica cookbook /
پدیدآورنده : Sal Mangano
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematica (Computer file),Functions of complex variables,Mathematical analysis
289. Mathematical foundations of computer science 1999 :
پدیدآورنده : Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.
290. Mathematics of optimization :
پدیدآورنده : Steven J. Miller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Management science, Problems, exercises, etc.,Mathematical optimization, Problems, exercises, etc.,Operations research, Problems, exercises, etc.,Computer science-- Theory of computing-- Analysis of algorithms and problem complexity.,Functional analysis-- Miscellaneous applications of functional analysis-- Applications in optimization, convex analysis, mathematical programming, economics.,Global analysis, analysis on manifolds-- Calculus on manifolds; nonlinear operators-- Fixed point theorems on manifolds.,Management science.,Mathematical optimization.,Mathematics education-- Mathematical modeling, applications of mathematics-- Operations research, economics.,Number theory-- Computational number theory-- Algorithms; complexity.,Numerical analysis-- Mathematical programming, optimization and variational techniques-- Optimization and variational techniques.,Operations research, mathematical programming-- Mathematical programming-- Linear programming.,Operations research.
رده :
QA402
.
5
.
M5534
2017
291. Memory Management :
پدیدآورنده : edited by Henry G. Baler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Memory management (Computer science)
292. Migrating to Azure :
پدیدآورنده : Josh Garverick.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Design.,Cloud computing.,Microsoft Azure (Computing platform),Business mathematics & systems.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology: general issues.,Microsoft Azure (Computing platform),Microsoft programming.
رده :
QA76
.
585
293. Modelling and Optimization of Complex System :
پدیدآورنده : edited by Guri Ivanovich Marchuk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA402
.
E358
1979
294. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
295. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
296. Network-based parallel computing
پدیدآورنده : Dhabaleswar K. Panda, Craig B. Stunkel, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.
297. Neural Nets WIRN VIETRI-97 :
پدیدآورنده : edited by Maria Marinaro, Roberto Tagliaferri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Optical pattern recognition.
298. Object-Oriented Graphics :
پدیدآورنده : by Peter Wisskirchen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.
رده :
T385
.
B974
1990
299. Object-Oriented Programming :
پدیدآورنده : by Hanspeter Mössenböck.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Oberon.,Object-oriented programming (Computer science),Operating systems (Computers)
رده :
QA76
.
64
B943
1993
300. Object-Oriented Programming in Oberon-2
پدیدآورنده : by Hanspeter Mössenböck.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
64
B943
1995